#!/bin/bash
find $1/*.cnf -exec ./dimacsconv.py {} \;
rm $1/*.cnf
